Revision Sequences and Computers with an Infinite Amount of Time
نویسنده
چکیده
The author establishes a connection between Revision Theory of Truth and Infinite Time Turing Machines as developed by Hamkins and Kidder. The ideas from this paper have incited Welch to solve the limit rule problem of revision theory.
منابع مشابه
Solving infinite system of nonlinear integral equations by using F-generalized Meir-Keeler condensing operators, measure of noncompactness and modified homotopy perturbation.
In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we...
متن کاملOn time-dependent neutral stochastic evolution equations with a fractional Brownian motion and infinite delays
In this paper, we consider a class of time-dependent neutral stochastic evolution equations with the infinite delay and a fractional Brownian motion in a Hilbert space. We establish the existence and uniqueness of mild solutions for these equations under non-Lipschitz conditions with Lipschitz conditions being considered as a special case. An example is provided to illustrate the theory
متن کاملBerry phase for a particle in an infinite spherical potential well with moving wall
In this paper we calculate the Berry phase for a wave function of a particle in an infinite spherical potential well with adiabatically varying. In order to do this, we need the solutions of the corresponding Schrödinger equation with a time dependent Hamiltonian. Here, we obtain these solutions for the first time. In addition, we calculate the Berry phase in one dimensional case for an infinit...
متن کاملNonlocal thermoelastic semi-infinite medium with variable thermal conductivity due to a laser short-pulse
In this article, the thermoelastic interactions in an isotropic and homogeneous semi-infinite medium with variable thermal conductivity caused by an ultra-short pulsed laser heating based on the linear nonlocal theory of elasticity has been considered. We consider that the thermal conductivity of the material is dependent on the temperature. The surface of the surrounding plane of the medium is...
متن کاملOn the difficulty of computations
Two practical considerations concerning the use of computing machinery are the amount of information that must be given to the machine for it to perform a given task and the time it takes the machine to perform it. The size of programs and their running time are studied for mathematical models of computing machines. The study of the amount of information (i.e., number of bits) in a computer pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 11 شماره
صفحات -
تاریخ انتشار 2001